ERD Representation using Auto-Generated Form and SQL

Auto-completion of Underspecified SQL Queries

Formulating SQL queries involving joins is tedious, error-prone, and requires in-depth schema knowledge. We demonstrate a modified version of SQL [2] that does not require specification of table references and joins. The Schema-Free SQL system can expresses queries not supported in keyword-based searches [1]. Unlike Universal Relation approaches, the system is scaleable to large schemas, and it...

Parallel SQL Query Auto-Tuning on Multicore

Multicore processors with several processors on a chip are standard, so applications need to be parallel in order to exploit the performance potential. Relational database systems are important applications that can exploit new opportunities for parallelism within queries. Intra-query parallelism offers additional performance potential that could not be exploited easily on earlier hardware. Add...

Mixed Strong Form Representation Particle Method for Solids and Structures

In this paper, a generalized particle system (GPS) method, a general method to describe multiple strong form representation based particle methods is described. Gradient, divergence, and Laplacian operators used in various strong form based particle method such as moving particle semi-implicit (MPS) method, smooth particle hydrodynamics (SPH), and peridynamics, can be described by the GPS metho...

Using Automated Theorem Provers to Certify Auto-generated Aerospace Software

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). For full automation, however, the obligations must be aggressively preprocessed and simplified. We describe the unique requirements this pla...

On a Form of the Erd} Os-tur an Inequality